#include <stdio.h>
#include "def.h"
#include "formatter_txt.h"

void fmtTxt(FILE *fout)
{
}

